Systems Software

Expressing and organizing real-time specification patterns via temporal logics

Information Systems / Formal methods / Computer Software / Patterns / Formal Specification / Formal method / Formal Verification / Pattern Classification / Unified Model / Systems Software / Temporal Logic / Formal method / Formal Verification / Pattern Classification / Unified Model / Systems Software / Temporal Logic

Cronus: A platform for parallel code generation based on computational geometry methods

Information Systems / Computational Geometry / Distributed Shared Memory System / Distributed System / Optimal mine design and scheduling / Motion estimation / Computer Software / Case Study / Code Generation / Systems / Systems Software / Dynamic scheduling / Motion estimation / Computer Software / Case Study / Code Generation / Systems / Systems Software / Dynamic scheduling

Cronus: A platform for parallel code generation based on computational geometry methods

Information Systems / Computational Geometry / Distributed Shared Memory System / Distributed System / Optimal mine design and scheduling / Motion estimation / Computer Software / Case Study / Code Generation / Systems / Systems Software / Dynamic scheduling / Motion estimation / Computer Software / Case Study / Code Generation / Systems / Systems Software / Dynamic scheduling

Design Erosion: Problems & Causes

Information Systems / Software Engineering / Software Design / Computer Software / Software Systems / Optimal Design / Systems Software / Optimal Design / Systems Software

Expressing and organizing real-time specification patterns via temporal logics

Information Systems / Computer Software / Formal Specification / Formal method / Formal Verification / Pattern Classification / Unified Model / Systems Software / Temporal Logic / Pattern Classification / Unified Model / Systems Software / Temporal Logic

Diagrams or structural lists in software project retrospectives – An experimental comparison

Information Systems / Computer Software / Systems Software

Using an expert panel to validate a requirements process improvement model

Information Systems / Software Development / Computer Software / Process Improvement / Requirement Engineering / Design Process Model (Software engineering) / Software Process Improvement / Systems / Model development / Process Model / Systems Software / Empirical Analysis / Design Process Model (Software engineering) / Software Process Improvement / Systems / Model development / Process Model / Systems Software / Empirical Analysis

Cognitive processes in program comprehension

Information Systems / Program Comprehension / Computer Software / Cognitive Process / Systems Software

Copyright © 2017 DATOSPDF Inc.